例句與造句

1. Formal verification has been frequently used in hardware by most of the well-known hardware vendors, such as IBM, Intel, and AMD . There are many areas of hardware, where Intel have used FMs to verify the working of the products, such as parameterized verification of cache coherent protocol, Intel Core i7 processor execution engine validation ( using theorem proving, BDD s, and symbolic evaluation ), optimization for Intel IA-64 architecture using HOL light theorem prover, and verification of high performance dual-port gigabit Ethernet controller with a support for PCI express protocol and Intel advance management technology using Cadence.
2. It's difficult to find cache coherent protocol in a sentence. 用cache coherent protocol造句挺難的